Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
003873 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
004C51 | Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-Based Systems |
This area was generated with Dilib version V0.6.33. |